1. Scientific computation with automatic result verification
پدیدآورنده : U. Kulisch and H.J. Stetter (eds.)
کتابخانه: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
موضوع : Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA
,
297
,.
S392
,
1988
